// ...
fn main {
  let a : A = 42
  println(a.to_int())
}